Verification Techniques – alle Bücher

Ihre Suche nach "verification techniques" ergab 6 Treffer

Computer Aided Verification

Lecture Notes in Computer Science -Band 14683

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024.The primary f…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Computer Aided Verification

Lecture Notes in Computer Science -Band 14682

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Computer Aided Verification

Lecture Notes in Computer Science -Band 14681

This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24 27, 2024. The…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 43,80*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Rewriting Logic and Its Applications

Lecture Notes in Computer Science -Band 14953

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, duri…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Runtime Verification

Lecture Notes in Computer Science -Band 14245

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3 6, 2023. The 13 full papers and 7 shor…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 76,66*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb

Designing Modern Embedded Systems: Software, Hardware, and Applications

IFIP Advances in Information and Communication Technology -Band 669

This book constitutes the refereed proceedings of the 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, held in Lippstadt, Germany, during November 3-4, 2022. The 10 full revised papers…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 93,08*

Artikel merken

In den Warenkorb

Artikel ist im Warenkorb